Gromov M.L. «A Method of the Complete Test Derivation For Labeled TransitionSystems » // 2008. №3 (4) C.85-98
ЕВТУШЕНКО Нина Владимировна , ПЕТРЕНКО Александра «Уточнение недетерминированного эталонного автомата при условном тестировании » // 2009. №1 (6) C.99-114
Akenshina E.A. , Shabaldina N. V. «TEST SUITES DERIVATION FOR NONDETERMINISTIC FINITE STATE MASHINES WITH RESPECT TO THE SEPARABILITY RELATION » // 2009. №3(5) C.106-111
